-
1 Method Resolution Order
Software: MROУниверсальный русско-английский словарь > Method Resolution Order
-
2 (1) A method of dispute resolution that decides the legal rights of specific persons in order to settle or determine a dispute. Unlike mediation, adjudicative proceedings (i .e., litigation, arbi
General subject: adjudicative proceedingУниверсальный русско-английский словарь > (1) A method of dispute resolution that decides the legal rights of specific persons in order to settle or determine a dispute. Unlike mediation, adjudicative proceedings (i .e., litigation, arbi
-
3 A method of dispute resolution that decides the legal rights of specific persons in order to settle or determine a dispute. Unlike mediation, adjudicative proceedings
General subject: (1)(i.e., litigation, arbi adjudicative proceedingУниверсальный русско-английский словарь > A method of dispute resolution that decides the legal rights of specific persons in order to settle or determine a dispute. Unlike mediation, adjudicative proceedings
-
4 règlement
règlement [ʀεgləmɑ̃]masculine nouna. ( = réglementation) rulesb. [d'affaire, conflit, facture, dette] settlement* * *ʀɛgləmɑ̃nom masculin1) ( règles) regulations (pl), rules (pl)2) ( paiement) payment3) ( résolution) settlementrèglement à l'amiable — amicable settlement; Droit out-of-court settlement
•Phrasal Verbs:* * *ʀɛɡləmɑ̃ nm1) (= solution) solution2) (= paiement) settlementrèglement en espèces/par chèque — payment in cash/by cheque
3) (= règles) regulations pl rules plLe règlement est affiché à l'entrée. — The rules are up on the wall by the entrance.
règlement intérieur ÉDUCATION — school rules pl
4) ADMINISTRATION by-laws pl* * *règlement nm1 ( règles) regulations (pl), rules (pl); règlement administratif/militaire administrative/military regulations; c'est contraire au règlement it's against the regulations ou rules; le règlement c'est le règlement rules are rules;2 ( paiement) payment; mode de règlement method of payment; effectuer un règlement to make a payment; règlement en liquide cash settlement ou payment; faire un règlement par chèque to pay ou settle by cheque GB ou check US; en règlement de in settlement ou payment of; veuillez joindre votre règlement please enclose your remittance;3 ( résolution) settlement; l'affaire est en voie de règlement the matter is being settled; règlement à l'amiable amicable settlement; Jur out-of-court settlement.règlement de comptes settling of scores (entre between); règlement direct direct debit; règlement interne rules and regulations; règlement judiciaire compulsory liquidation; être en règlement judiciaire to be in the hands of the receiver; règlement de police by(e)-law, police regulation; règlement de procédure rules (pl) of procedure; règlement de sécurité safety regulations (pl).[rɛgləmɑ̃] nom masculind'après le règlement, il est interdit de... it's against the regulations to...règlement administratif ≃ statutory policyrèglement de police municipale ou municipal ≃ by-lawrèglement de compte ou comptes settling of scores -
5 метод сканирования
Русско-английский новый политехнический словарь > метод сканирования
-
6 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
См. также в других словарях:
Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… … Wikipedia
Order of the Arrow — Owner … Wikipedia
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Order in Council — An Order in Council is a type of legislation in many countries, typically those in the Commonwealth of Nations. In the United Kingdom this legislation is formally made in the name of the Queen by the Privy Council (Queen in Council), but in other … Wikipedia
order — Synonyms and related words: Bronze Star Medal, Croix de Guerre, Distinguished Conduct Medal, Distinguished Flying Cross, Distinguished Service Cross, Distinguished Service Medal, Distinguished Service Order, Distinguished Unit Citation, MO,… … Moby Thesaurus
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Online dispute resolution — Alternative Dispute Resolution Arbitration … Wikipedia
Condorcet method — Part of the Politics series Electoral methods Single winner … Wikipedia
Crank–Nicolson method — In numerical analysis, the Crank–Nicolson method is a finite difference method used for numerically solving the heat equation and similar partial differential equations.[1] It is a second order method in time, implicit in time, and is numerically … Wikipedia
High-resolution transmission electron microscopy — (HRTEM) is an imaging mode of the transmission electron microscope (TEM) that allows the imaging of the crystallographic structure of a sample at an atomic scale. [cite book |title=Experimental high resolution electron microscopy |last=Spence… … Wikipedia
